Logical diagrams for propositions about relations

نویسندگان

چکیده

Предлагаемые диаграммы позволяют иллюстрировать и выявлять логичеграммы. Данные сходны с кругами Эйлера, но имеют дело высказываниями об отношениях, а не непосредственно множествами. Выявляемые логические отношения включают контрадикторность, контрарность, субконтрарность, подчинение. обосновать вывод о наличии между независимости, что при использовании других логических систем представляет известные трудности; выявить, в связи чем высказывания совместимы или несовместимы по истинности ложности. The proposed diagrams allow to illustrate and discover logical relations between propositions about n-place relations, where n is any natural number larger than 1, the same throughout diagram. discovered include contradiction, contrariety, subcontrariety, subalternation. are similar Venn diagrams, but intended for not sets as such. justify conclusions independence (unconnectedness) propositions, a task that meets with certain difficulties when using other systems. what makes in question capable - or incapable of being true together, false together.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Diagrams about Thoughts about Thoughts about Diagrams

The study of diagrammatic reasoning often focuses on computational models of diagram use rather than on studies of human performance. This paper considers diagrams as a notational system that can be used and studied in an experimental context. It presents a review of the experimental psychology literature rather than a complete theoretical framework, and is intended as an introduction to the fi...

متن کامل

Logical Relations for Encryption

The theory of relational parametricity and its logical relations proof technique are powerful tools for reasoning about information hiding in the polymorphic λ-calculus. We investigate the application of these tools in the security domain by defining a cryptographic λ-calculus—an extension of the standard simply typed λ-calculus with primitives for encryption, decryption, and key generation— an...

متن کامل

Logical Relations for PCF

We apply Andy Pitts’s methods of defining relations over domains to several classical results in the literature. We show that the Y combinator coincides with the domaintheoretic fixpoint operator, that parallel-or and the Plotkin existential are not definable in PCF, that the continuation semantics for PCF coincides with the direct semantics, and that our domain-theoretic semantics for PCF is a...

متن کامل

A Logical Relations for a Logical Framework

Logical relations are a central concept used to study various higher-order type theories and occur frequently in the proofs of a wide variety of meta-theorems. Besides extending the logical relation principle to more general languages, an important research question has been how to represent and thus verify logical relation arguments in logical frameworks. We formulate a theory of logical relat...

متن کامل

The Story About Propositions

Talking even about rather ordinary circumstances appears to implicate directly certain metaphysically loaded identifications. For example, if Dr. Gustav Lauben is a doctor then it seems to follow that he has the property of being a doctor; just as if he is injured, he has the property (or the characteristic) of being injured. Moreover, if Frege should come to believe that the good doctor is inj...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: ??????-??????????? ??????

سال: 2022

ISSN: ['2071-9183', '2223-3954']

DOI: https://doi.org/10.52119/lphs.2022.60.38.004